#ifndef READYQUEUE_H
#define READYQUEUE_H

//#include <peripheral/ports.h>
#include "config.h"
#include "task.h"
#include "semaphore.h"

/*
	 These functions return zero on error, nonzero on success. 
*/
int RQenqueue (struct task *task);
int RQdequeue (void);

/*
	 Obtains a pointer to the task on the top of the queue.
*/
struct task *RQtop (void);

#endif

